Skip to content

ci: upgrade ubuntu version to devnet (#151)#153

Merged
egonspace merged 1 commit intodevnetfrom
dev
Apr 17, 2025
Merged

ci: upgrade ubuntu version to devnet (#151)#153
egonspace merged 1 commit intodevnetfrom
dev

Conversation

@egonspace
Copy link
Copy Markdown

@egonspace egonspace commented Apr 17, 2025

please ignore the failure of devnet-ci (it will work after #155 is merged)

@egonspace egonspace added devnet merge dev into devnet or add a feature to devnet ci labels Apr 17, 2025
@egonspace egonspace self-assigned this Apr 17, 2025
@egonspace egonspace merged commit 9bb989b into devnet Apr 17, 2025
3 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci devnet merge dev into devnet or add a feature to devnet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants